Program Does Not Equal Program: Constraint Programming and Its Relationship to Mathematical Programming
نویسندگان
چکیده
منابع مشابه
Program Does Not Equal Program: Constraint Programming and Its Relationship to Mathematical Programming
Arising from research in the computer science community, constraint programming is a fairly new technique for solving optimization problems. For those familiar with mathematical programming, a number of language barriers make it difficult to understand the concepts of constraint programming. In this short tutorial on constraint programming, we explain how it relates to familiar mathematical pro...
متن کاملConstraint Logic Programming for program analysis
Constraint Logic Programming (CLP) has been traditionally applied to the modelling of complex problems, especially combinatorial problems, and to model knowledge bases. In this presentation, we focus on using CLP for program analysis and verification. First we consider the representation of program behavior: the rules and constraints of CLP provides for a natural specification of programs as a ...
متن کاملRelationship to Mathematical Programming
Arising from research in the computer science community, constraint programming is a relatively new technique for solving optimization problems. For those familiar with mathematical programming, there are a number of language barriers that exist that make it difficult to understand the concepts of constraint programming. This paper, which assumes a minimal background in linear and integer progr...
متن کاملAn example of integrating constraint programming and mathematical programming
This paper describes an integration of nite domain constraint programming techniques into mathematical programming, with an implementation of this new solution approach based on a commercial linear mixed-integer tool and a nite domain CP solver over unions of integer intervals. The combined modelling and problem solving approach has been applied to test problems of diierent types and dimensions...
متن کاملTowards the Integration of Constraint Logic Programming and Mathematical Programming
Preface During the first days of the new millennium I started my research project at Paragon Decision Technology in Haarlem, the Netherlands. That was January 3, 2000. Some 6 months later, the research project is finished, and the report is in front of the reader. As for the writer, a feeling of satisfaction has come over him. This thesis concerns a subject that is quite promising. Since it is ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Interfaces
سال: 2001
ISSN: 0092-2102,1526-551X
DOI: 10.1287/inte.31.7.29.9647